The axiom of choice for finite sets
نویسندگان
چکیده
منابع مشابه
Sets, the Axiom of Choice, And All That: A Tutorial
This tutorial deals with the application of the Axiom of Choice in one of its popular disguises to objects which are of some interest in computer science (like lattices, Boolean algebras, filters and ideals, games). We discuss some common variants of this axiom such as Zorn's Lemma, Tuckey's Maximality Principle, the Well-Ordering Theorem and the Maximal Ideal Theorem; each equivalence gives ap...
متن کاملWell-ordered Sets, Ordinalities and the Axiom of Choice
The discussion of cardinalities in Chapter 2 suggests that the most interesting thing about them is their order relation, namely that any set of cardinalities forms a well-ordered set. So in this section we shall embark upon a systematic study of well-ordered sets. Remarkably, we will see that the problem of classifying sets up to bijection is literally contained in the problem of classifying w...
متن کاملUniform Eberlein Spaces and the Finite Axiom of Choice
We work in set-theory without choice ZF. Given a closed subset F of [0, 1] which is a bounded subset of l(I) (resp. such that F ⊆ l(I)), we show that the countable axiom of choice for finite subsets of I, (resp. the countable axiom of choiceACN) implies that F is compact. This enhances previous results where ACN (resp. the axiom of Dependent Choices DC) was required. Moreover, if I is linearly ...
متن کاملThe Axiom of Choice
We propose that failures of the axiom of choice, that is, surjective functions admitting no sections, can be reasonably classified by means of invariants borrowed from algebraic topology. We show that cohomology, when defined so that its usual exactness properties hold even in the absence of the axiom of choice, is adequate for detecting failures of this axiom in the following sense. If a set X...
متن کاملAxiom of Choice, Maximal Independent Sets, Argumentation and Dialogue Games
In this work we investigate infinite structures. We discuss the importance, meaning and temptation of the axiom of choice and equivalent formulations with respect to graph theory, abstract argumentation and dialogue games. Emphasis is put on maximal independent sets in graph theory as well as preferred semantics in abstract argumentation. 1998 ACM Subject Classification G.2.2 Graph Theory, F.4....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1960
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1960-0120169-0